ma-has-effect(M;k) == deq-member(KindDeq;k;map(p.1of(p);1of(1of(2of(2of(2of(2of(M)))))))) 

latex

Definitions	b, deq-member(eq;x;L), KindDeq, map(f;as), x.A(x), 1of(t), 2of(t)
FDL editor aliases	ma-has-effect